____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Peter Freyd
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
Peter John Freyd (* 5. Februar 1936 in Evanston, Illinois)cite-ref-1[1] ist ein US-amerikanischer Mathematiker und Informatiker. Er war Professor an der University of Pennsylvania.
Contents
β’ Leben
β’ Kontroverse
β’ Werke
β’ Weblinks
β’ Einzelnachweise
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Leben
Freyd studierte an der Brown University (Bachelor 1958) und wurde 1960 an der Princeton University bei Norman Steenrod (Functor Theory)cite-ref-2[2] in Mathematik promoviert. 1960 bis 1962 war er Ritt Instructor an der Columbia University und danach zunΓ€chst Assistant Professor und ab 1968 Professor am Labor fΓΌr Logik und Informatik der University of Pennsylvania. Seit 1987 ist er Professor fΓΌr Informatik und seit 1993 Leiter des Labors fΓΌr Logik und Informatik an der University of Pennsylvania. Er war unter anderem Gastprofessor an den UniversitΓ€ten in Mailand, LΓΆwen, Cambridge, Sydney, Montreal, in Mexiko, der Carnegie Mellon University und der UniversitΓ€t Chicago.
Freyd befasst sich mit Kategorientheorie, Topos-Theorie, Beweistheorie, stabiler Homotopietheorie, Modelltheorie und Knotentheorie. Er bewies den Hauptsatz fΓΌr adjungierte Funktoren.cite-ref-3[3]
Er ist Fellow der American Mathematical Society.
Er ist seit 1957 verheiratet und hat zwei TΓΆchter.
Kontroverse
Peter J. Freyd ist von seiner Tochter, der Psychologie-Professorin Jennifer Freyd, des sexuellen Missbrauchs beschuldigt worden. Er bestreitet die VorwΓΌrfe und hat als Reaktion darauf die False Memory Syndrome Foundation ins Leben gerufen.cite-ref-4[4]
Werke
β’ Peter J. Freyd, Abelian Categories, an Introduction to the Theory of Functors. Harper & Row (1964). Available online.
β’ Peter J. Freyd and Andre Scedrov: Categories, Allegories. North-Holland (1999). ISBN 0-444-70368-3.
β’ Peter J. Freyd: Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? Electr. Notes Theor. Comput. Sci. 29: (1999)
β’ Peter J. Freyd, Peter W. OβHearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent: Bireflectivity. Theor. Comput. Sci. 228(1β2): 49β76 (1999)
Weblinks
Einzelnachweise
cite-note-11. β Biografische Daten nach American Men and Women of Science, Thompson Gale 2005
cite-note-22. β Mathematics Genealogy Project
cite-note-33. β Saunders Mac Lane: Kategorien: Begriffsprache und mathematische Theorie. Springer, Berlin 1972, ISBN 978-3-540-05634-8, S. 145 (eingeschrΓ€nkte Vorschau in der Google-Buchsuche [abgerufen am 5. Januar 2017]).
cite-note-44. β Bloomberg, Peter. "One familyβs tragedy spawns national group", The Baltimore Sun, 12 Sept 1994